полнота системы аксиом Русско-кыргызский словарь математических терминов (1996) аксиомалар системасынын толуктугу